منابع مشابه
Unleashing the Verification Genie in the Cloud
Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) solver available from Microsoft Research. It is used as a logic engine in several program analysis, test-generation and verification systems. Z3 exposes a number of APIs for these applications, but is in itself a low-level tool. We discuss the design trade-offs we have faced and different ways we lower the barrier of entry to use Z3....
متن کاملAdding Affective Argumentation to the GenIE Assistant
This paper presents preliminary results of an empirical study to investigate effects of adding affective argumentation to the GenIE Assistant, an implemented proof-of-concept computational model of normative biomedical argument generation. The Assistant has been implemented in the domain of genetic counseling, a domain where human writers are advised to show empathy in addition to presenting cl...
متن کاملGulliver's Genie: agency, mobility, adaptivity
The challenge presented by ambient intelligence and pervasive computing is an environment within which computing artifacts become seamlessly merged into our surroundings, whereby interaction with such artifacts becomes intuitive and unobtrusive, where the devices become sensitive to the presence of people and are imbued with the ability to anticipate and service the individual needs of each and...
متن کاملIncorporation of the C-GOLDSTEIN efficient climate model into the GENIE framework: “eb go gs” configurations of GENIE
A computationally efficient, intermediate complexity ocean-atmosphere-sea ice model (C-GOLDSTEIN) has been incorporated into the Grid ENabled Integrated Earth system modelling (GENIE) framework. This involved decoupling of the three component modules that were recoupled in a modular way, to allow replacement with alternatives and coupling of further components within the framework. The climate ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1996
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed073p479